A logic-based approach to model computees
نویسندگان
چکیده
A computee is an autonomous computational entity that operates in an open and dynamic environment. This report proposes a formal framework for computees, called KGP (Knowledge, Goals, Plan), that synthesises their reasoning and sensing capabilities into a model for their operation. Within this model the computee is able to reason about goals and plans and to execute its plans depending on the state of its (perception of) the external environment. The computee is also able to reason about its own behaviour and make intelligent choices about it. The model is based upon computational logic, both to model the reasoning capabilities and the reasoning about behaviour. The report also addresses the links of this model with the society model proposed in the companion deliverable D5. Copyright c © 2003 by the SOCS Consortium. The SOCS Consortium consists of the following partners: Imperial College of Science, Technology and Medicine, University of Pisa, City University, University of Cyprus, University of Bologna, University of Ferrara. Deliverable D4: A logic-based approach to model computees Antonis Kakas∗, Paolo Mancarella, Fariba Sadri•, Kostas Stathis, Francesca Toni• Departments of Computer Science, ∗ University of Cyprus, Cyprus + University of Pisa, Italy • Imperial College London, UK ! City University, London, UK ABSTRACT A computee is an autonomous computational entity that operates in an open and dynamic environment. This report proposes a formal framework for computees, called KGP (Knowledge, Goals, Plan), that synthesises their reasoning and sensing capabilities into a model for their operation. Within this model the computee is able to reason about goals and plans and to execute its plans depending on the state of its (perception of) the external environment. The computee is also able to reason about its own behaviour and make intelligent choices about it. The model is based upon computational logic, both to model the reasoning capabilities and the reasoning about behaviour. The report also addresses the links of this model with the society model proposed in the companion deliverable D5.A computee is an autonomous computational entity that operates in an open and dynamic environment. This report proposes a formal framework for computees, called KGP (Knowledge, Goals, Plan), that synthesises their reasoning and sensing capabilities into a model for their operation. Within this model the computee is able to reason about goals and plans and to execute its plans depending on the state of its (perception of) the external environment. The computee is also able to reason about its own behaviour and make intelligent choices about it. The model is based upon computational logic, both to model the reasoning capabilities and the reasoning about behaviour. The report also addresses the links of this model with the society model proposed in the companion deliverable D5.
منابع مشابه
Deliverable D5: A logic-based approach to model interaction amongst computees
Computees are Computational Logic-based entities interacting in the context of global and open computing environments. The focus of this work is on the interactions among computees that form a society, and on the definition of a Computational Logic-based architecture for computee interactions. We propose a layered architecture where the society defines the allowed interaction protocols, which d...
متن کاملA logic-based approach to modeling interaction among computees (preliminary report)
Computees are computational entities interacting in the context of global and open computing environments. The focus of this preliminary report is on the interactions among computees that form a society, and on the definition of a computational logic-based architecture for computee interactions. We propose a layered architecture where the society defines the allowed interaction protocols, which...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملUAV attitude Sensor Fault Detection Based On Fuzzy Logic and by Neural Network Model Identification
Fault detection has always been important in aviation systems to prevent many accidents. This process is possible in different ways. In this paper, we first identify the longitudinal axis plane model using neural network approach. Then based on the obtained model and using fuzzy logic, the aircraft status sensor fault detection unit was designed. The simulation results show that the fault detec...
متن کاملMulti-objective design of fuzzy logic controller in supply chain
Unlike commonly used methods, in this paper, we have introduced a new approach for designing fuzzy controllers. In this approach, we have simultaneously optimized both objective functions of a supply chain over a two-dimensional space. Then, we have obtained a spectrum of optimized points, each of which represents a set of optimal parameters which can be chosen by the manager ...
متن کامل